[[Category theory MOC]]

# Universal construction

A **universal construction** is a construction — usually a collection of objects and morphisms — characterised by a universal property up to isomorphism.

## Common universal constructions

- [[Limits and colimits]]
  - [[Initial and terminal objects]]
  - [[Products and coproducts]]
  - [[Fibre product and coproduct]]

---
#state/develop | #SemBr | #lang/en